|
|
Rozšíření generického ladicího nástroje v projektu Lissom
Hons, Petr ; Husár, Adam (oponent) ; Přikryl, Zdeněk (vedoucí práce)
Práce se zabývá seznámením s problematikou ladění a ladicích nástrojů. Dále popisuje princip ladicích informací, speciálně formátu DWARF s důrazem především na Call Frame Information (CFI), které umožňují ladicím nástrojům vizualizovat zásobník volání. Zároveň byla navržena a implementována rozšíření ladicího nástroje projektu Lissom přidávající podporu zásobníku volání, historie hodnot a příkazů step return a step over.
|
|
|
Vizualizace výsledků statického porovnávání sémantické ekvivalence různých verzí software v jazyce C
Petr, Lukáš ; Fiedor, Tomáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
Cílem této práce je vytvořit přehlednější prezentaci výsledků nástroje DiffKemp sloužícího pro statickou analýzu sémantických rozdílů ve velkých projektech napsaných v jazyce C. V současnosti DiffKemp zobrazuje všechny informace o nalezených rozdílech v nestrukturované textové podobě, což je pro uživatele mnohdy nepřehledné. Pro vyřešení tohoto problému byl v této práci vytvořen nový výstup nástroje DiffKemp, který poskytuje výsledky v serializované podobě pomocí formátu YAML. Tento výstup je následně zpracován a zobrazen pomocí nově vytvořeného prohlížeče výsledků, realizovaného jako webová aplikace pomocí knihovny React, frameworku Bootstrap a balíčku react-diff-view. Dále se práce zaměřila na poskytnutí uživateli dodatečného kontextu ve formě zdrojových kódů analyzovaných funkcí a usnadnění navigace a orientace v nalezených rozdílech a k nim poskytovaných informací jako jsou zásobníky volání. Provedené srovnání nově vytvořeného prohlížeče ukázalo, že usnadňuje uživateli oproti původnímu řešení rozpoznat změny v poskytovaných zásobnících volání a umožňuje mu rychlejší navigaci ve výsledcích a také mezi vztahy nalezených rozdílů a analyzovaných částí.
|
|
|
Rozšíření generického ladicího nástroje v projektu Lissom
Hons, Petr ; Husár, Adam (oponent) ; Přikryl, Zdeněk (vedoucí práce)
Práce se zabývá seznámením s problematikou ladění a ladicích nástrojů. Dále popisuje princip ladicích informací, speciálně formátu DWARF s důrazem především na Call Frame Information (CFI), které umožňují ladicím nástrojům vizualizovat zásobník volání. Zároveň byla navržena a implementována rozšíření ladicího nástroje projektu Lissom přidávající podporu zásobníku volání, historie hodnot a příkazů step return a step over.
|
host ::
RSS.